A Requirements Capture Method and its use in an AirTra c Control Application

نویسندگان

  • T. L. McCluskey
  • J. M. Porteous
  • C. N. Taylor
چکیده

This paper describes our experience in capturing, using a formal speciication language, a model of the knowledge-intensive domain of oceanic air traac control. This model is intended to form part of the requirements speciication for a decision support system for air traac controllers. We give an overview of the methods we used in analysing the scope of the domain, choosing an appropriate formalism, developing a domain model, and validating the model in various ways. Central to the method was the development of a formal requirements engineering environment which provided automated tools for model validation and maintenance.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Fuzzy Centroid-Based Method Applied to Customer Requirements Ranking in Diba Fiberglass Company

The purpose of this study is to introduce an application of fuzzy centroid-based approach to ranking the customer requirements using QFD with competition considerations for Diba Fiberglass, an Iranian Company. The illustrated approach, not only focuses on the normal fuzzy numbers, but also considers the non-normal fuzzy numbers to capture the true customer requirements. To this end, first, we p...

متن کامل

Determination of Isosorbide Dinitrate in Serum by Gas Chromatography with New Generation of Electron Capture Detector and its Application in Pharmacokinetic Study

Isosorbide dinitrate (ISDN) is an effective drug in treatment of angina pectoris. In this study a new generation of electron capture detector (non-radioactive) with a short, non-polar and wide-bore column was used for analysis of ISDN in human serum. ISDN was extracted from serum by a mixture of ether and ethyl acetate and concentrated at room temperature. The method was linear between 5-50...

متن کامل

Identifying and Determining the Requirements for Designing and Developing a Mobile-Based Self-Care Application to Control and Reduce Students' Stress and Anxiety

Introduction: The increase in stress and anxiety among students has a negative effect on their physical and mental health and can prevent their efficient academic performance. Self-care applications can help control and reduce students' anxiety and depression. The aim of this study was to determine the necessary requirements related to the design and development of a mobile-based self-care appl...

متن کامل

A Capture ELISA for the Diagnosis of Visceral Leishmaniasis Using a Monoclonal Antibody against a Leishmanial

capture ELISA system was developed for diagnosis of visceral leishmaniasis (VL) using a monoclonal antibody raised against an antigen previously detected in the urine of VL patients. Urine samples from confirmed VL cases from Yemen, Nepal, Spain, Sudan and Brazil were tested in the capture ELISA in comparison with urine samples from endemic and non-endemic areas along with urine samples from pa...

متن کامل

Identifying and Determining the Requirements for Designing and Developing a Mobile-Based Self-Care Application to Control and Reduce Students' Stress and Anxiety

Introduction: The increase in stress and anxiety among students has a negative effect on their physical and mental health and can prevent their efficient academic performance. Self-care applications can help control and reduce students' anxiety and depression. The aim of this study was to determine the necessary requirements related to the design and development of a mobile-based self-care appl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995